(not (!= 1))
